Representing Boolean Functions with Propositional Directed Acyclic Graphs
نویسنده
چکیده
Propositional directed acyclic graphs (PDAG) continue the line of research on knowledge compilation in the context of Negational Normal Forms (NNF) and Binary Decision Diagrams (BDD). This paper summarizes previous results and open problems concerning knowledge representation based on PDAG and its sub-languages. In addition, it gives a short introduction to some application areas.
منابع مشابه
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions
This paper continues the line of research on knowledge compilation in the context of Negation Normal Forms (NNF) and Binary Decision Diagrams (BDD). The idea is to analyze different target languages according to their succinctness and the classes of queries and transformations supported in polytime. We identify a new property called simple-negation, which is an implicit restriction of all NNFs ...
متن کاملNetwork Reliability Evaluation with Propositional Directed Acyclic Graphs1
This paper proposes a new and flexible approach for network reliability computation. The method is based on Propositional Directed Acyclic Graphs (PDAGs), a general graph-based language for the representation of Boolean functions. We introduce an algorithm which creates in polynomial time a generic structure function representation for reliability networks. In contrast to many existing methods,...
متن کاملA Novel Preprocessing Technique for Session Construction using Propositional DAGs
This paper continues the line of research on Web access log analysis. Web access log analysis is to analyze the patterns of web site usage and the features of users’ behavior. It is the fact that the normal Log data is very noisy and unclear and it is vital to preprocess the log data for efficient web usage mining process. Preprocessing is the process comprises of three phases which includes da...
متن کاملReliability Evaluation and Diagnostics with Propositional Directed Acyclic Graphs
The theories of reliability and diagnostics, despite their close relationship, have been mostly treated as two separate fields in the literature. However, it has been shown in the past few years that their dual character can be exploited in the context of modular systems. Such systems have a great practical impact on reliability computation and diagnostics, since their structure can be used to ...
متن کاملLogical Termination of Workflows: An Interdisciplinary Approach
In this paper we present a new formalism to study the structure of workflows. A workflow is an abstraction of a business process that consists of one or more activities that need to be executed to reach a final objective. Our formalism is based on Graph Theory, Propositional Logic, and Boolean matrices. Indeed, we model workflows with tri-logic acyclic directed graphs. Moreover, we analyze the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006